(100, 103, 55)
(100, 124, 49)
(100, 172, 39)
(100, 39, 165)
(100, 54, 111)
(100, 63, 91)
(100, 64, 90)
(100, 71, 81)
(100, 88, 65)
(101, 114, 50)
(101, 143, 41)
(101, 171, 39)
(101, 190, 35)
(101, 39, 157)
(101, 41, 142)
(101, 51, 110)
(101, 81, 70)
(101, 85, 68)
(102, 125, 46)
(102, 172, 37)
(102, 37, 173)
(102, 38, 149)
(102, 40, 144)
(102, 43, 134)
(102, 49, 120)
(102, 83, 67)
(103, 101, 57)
(103, 110, 53)
(103, 141, 42)
(103, 160, 39)
(103, 43, 121)
(103, 76, 76)
(103, 90, 61)
(104, 133, 45)
(104, 189, 36)
(104, 50, 118)
(104, 55, 107)
(104, 57, 100)
(104, 58, 99)
(104, 86, 65)
(104, 97, 54)
(105, 113, 52)
(105, 129, 43)
(105, 186, 36)
(105, 45, 119)
(105, 50, 115)
(106, 109, 51)
(106, 123, 49)
(106, 124, 46)
(106, 148, 40)
(106, 160, 37)
(106, 175, 36)
(106, 37, 164)
(106, 40, 132)
(106, 58, 97)
(106, 74, 74)
(107, 157, 39)
(107, 179, 34)
(107, 36, 163)
(107, 50, 114)
(107, 54, 108)
(108, 117, 49)
(108, 154, 39)
(108, 214, 33)
(108, 36, 156)
(108, 39, 143)
(108, 51, 107)
(108, 55, 97)
(108, 59, 90)
(108, 74, 71)
(109, 35, 174)
(109, 36, 152)
(109, 50, 112)
(109, 54, 105)
(109, 66, 89)
(110, 123, 47)
(110, 146, 39)
(110, 177, 34)
(110, 217, 33)
(110, 57, 94)
(110, 91, 60)
(111, 107, 53)
(111, 115, 48)
(111, 199, 33)
(111, 41, 128)
(111, 48, 109)
(111, 58, 93)
(111, 62, 86)
(112, 111, 48)
(112, 136, 42)
(112, 171, 35)
(112, 33, 167)
(112, 39, 132)
(112, 47, 111)
(113, 142, 41)
(113, 195, 33)
(113, 202, 32)
(113, 35, 161)
(113, 50, 107)
(113, 54, 102)
(113, 73, 80)
(114, 103, 52)
(114, 145, 39)
(114, 150, 38)
(114, 190, 33)
(114, 38, 148)
(114, 53, 106)
(114, 55, 89)
(114, 61, 86)
(115, 126, 45)
(115, 140, 41)
(115, 193, 32)
(115, 32, 161)
(115, 35, 155)
(115, 37, 150)
(115, 50, 104)
(115, 52, 102)
(115, 69, 81)
(115, 78, 69)
(116, 122, 46)
(116, 148, 38)
(116, 152, 37)
(116, 153, 34)
(116, 38, 139)
(116, 40, 127)
(116, 45, 117)
(116, 64, 84)
(116, 67, 83)
(116, 73, 75)
(117, 120, 47)
(117, 128, 44)
(117, 130, 42)
(117, 142, 40)
(117, 30, 169)
(117, 34, 156)
(117, 36, 151)
(117, 43, 118)
(117, 60, 86)
(117, 70, 79)
(117, 83, 64)
(117, 92, 56)
(118, 137, 40)
(118, 149, 37)
(118, 176, 33)
(118, 202, 30)
(118, 42, 125)
(118, 62, 82)
(118, 71, 78)
(118, 76, 67)
(118, 89, 62)
(119, 108, 51)
(119, 34, 151)
(119, 37, 138)
(119, 51, 99)
(119, 56, 88)
(119, 69, 80)
(119, 90, 58)
(120, 108, 48)
(120, 114, 44)
(120, 132, 40)
(120, 140, 38)
(120, 165, 31)
(120, 37, 136)
(120, 45, 115)
(120, 48, 105)
(120, 54, 98)
(120, 62, 79)
(120, 68, 77)
(121, 127, 40)
(121, 128, 37)
(121, 35, 148)
(121, 44, 117)
(121, 80, 64)
(121, 85, 62)
(122, 212, 30)
(122, 33, 158)
(122, 39, 123)
(122, 43, 116)
(122, 44, 112)
(122, 53, 96)
(122, 76, 66)
(122, 84, 63)
(122, 87, 61)
(122, 94, 55)
(123, 101, 49)
(123, 29, 184)
(123, 36, 137)
(123, 49, 94)
(123, 54, 83)
(124, 150, 36)
(124, 151, 33)
(124, 38, 134)
(124, 44, 109)
(124, 61, 82)
(124, 68, 74)
(125, 113, 46)
(125, 117, 43)
(125, 148, 36)
(125, 38, 132)
(125, 42, 119)
(125, 86, 61)
(126, 107, 48)
(126, 113, 43)
(126, 123, 40)
(126, 30, 156)
(126, 34, 149)
(126, 38, 128)
(126, 42, 115)
(126, 47, 104)
(126, 64, 78)
(126, 69, 73)
(126, 82, 58)
(127, 37, 133)
(127, 62, 78)
(127, 66, 77)
(127, 71, 72)
(127, 96, 49)
(128, 121, 40)
(128, 141, 36)
(128, 177, 30)
(128, 28, 164)
(128, 66, 76)
(129, 111, 46)
(129, 140, 36)
(129, 149, 33)
(129, 33, 152)
(129, 35, 142)
(129, 45, 108)
(129, 67, 71)
(129, 92, 53)
(130, 123, 39)
(130, 147, 35)
(130, 27, 175)
(130, 35, 133)
(130, 40, 121)
(130, 61, 81)
(130, 81, 62)
(131, 53, 91)
(132, 135, 35)
(132, 163, 32)
(132, 37, 130)
(132, 41, 119)
(132, 75, 69)
(132, 91, 57)
(133, 105, 45)
(133, 117, 42)
(133, 143, 32)
(133, 169, 30)
(133, 34, 142)
(133, 39, 121)
(133, 41, 115)
(133, 43, 114)
(133, 47, 101)
(133, 73, 70)
(133, 90, 55)
(134, 31, 154)
(134, 45, 105)
(134, 65, 76)
(134, 74, 69)
(134, 79, 58)
(135, 193, 29)
(135, 26, 194)
(135, 33, 148)
(135, 36, 129)
(135, 43, 113)
(135, 93, 49)
(136, 127, 38)
(136, 221, 28)
(136, 28, 163)
(136, 29, 162)
(136, 33, 144)
(136, 34, 138)
(136, 38, 126)
(136, 46, 100)
(136, 51, 89)
(136, 58, 80)
(136, 65, 75)
(136, 72, 70)
(136, 75, 64)
(136, 76, 63)
(137, 103, 48)
(137, 104, 45)
(137, 120, 40)
(137, 179, 29)
(137, 203, 28)
(137, 39, 117)
(137, 44, 106)
(137, 68, 69)
(137, 72, 67)
(137, 89, 53)
(138, 112, 44)
(138, 115, 39)
(138, 26, 171)
(138, 32, 151)
(138, 33, 137)
(138, 39, 113)
(138, 44, 102)
(138, 70, 66)
(139, 136, 34)
(139, 145, 31)
(139, 27, 162)
(139, 32, 147)
(139, 35, 128)
(139, 63, 75)
(139, 84, 57)
(139, 88, 56)
(140, 77, 62)
(140, 84, 53)
(141, 131, 36)
(141, 150, 30)
(141, 25, 170)
(141, 37, 123)
(141, 43, 112)
(141, 98, 44)
(142, 130, 36)
(142, 202, 28)
(142, 24, 177)
(142, 37, 119)
(142, 41, 106)
(142, 46, 95)
(143, 106, 41)
(143, 124, 37)
(143, 130, 35)
(143, 141, 31)
(143, 157, 28)
(143, 26, 161)
(143, 27, 154)
(143, 29, 152)
(143, 94, 48)
(144, 119, 37)
(144, 120, 34)
(144, 31, 148)
(144, 32, 142)
(144, 38, 118)
(144, 57, 81)
(145, 117, 38)
(145, 136, 32)
(145, 191, 27)
(145, 24, 169)
(145, 30, 151)
(145, 34, 136)
(145, 44, 99)
(145, 59, 79)
(145, 74, 62)
(145, 75, 61)
(146, 112, 40)
(146, 24, 189)
(146, 28, 152)
(146, 32, 139)
(146, 34, 124)
(146, 67, 67)
(147, 107, 40)
(147, 143, 30)
(147, 23, 196)
(147, 60, 78)
(147, 71, 65)
(147, 92, 50)
(148, 171, 27)
(148, 26, 160)
(148, 30, 147)
(148, 48, 94)
(148, 50, 92)
(148, 53, 83)
(148, 62, 73)
(149, 115, 37)
(149, 56, 81)
(149, 76, 60)
(150, 23, 188)
(150, 25, 157)
(150, 33, 133)
(150, 97, 47)
(151, 105, 43)
(151, 169, 27)
(151, 23, 177)
(151, 33, 132)
(151, 51, 87)
(152, 132, 33)
(152, 37, 117)
(152, 58, 79)
(153, 114, 39)
(153, 115, 36)
(153, 216, 26)
(153, 38, 108)
(153, 41, 104)
(153, 43, 97)
(153, 46, 93)
(153, 52, 85)
(154, 24, 166)
(154, 32, 128)
(154, 38, 104)
(154, 43, 93)
(154, 66, 71)
(154, 91, 52)
(155, 155, 29)
(155, 57, 80)
(155, 63, 72)
(156, 102, 42)
(156, 161, 27)
(156, 188, 26)
(156, 22, 196)
(156, 28, 150)
(156, 57, 80)
(156, 61, 77)
(157, 135, 32)
(157, 151, 29)
(157, 170, 26)
(157, 189, 26)
(157, 27, 151)
(157, 29, 141)
(157, 34, 122)
(157, 59, 76)
(157, 62, 70)
(157, 63, 69)
(157, 77, 59)
(158, 110, 39)
(158, 23, 161)
(158, 29, 137)
(158, 50, 86)
(158, 55, 75)
(158, 86, 52)
(159, 213, 25)
(159, 27, 149)
(159, 50, 85)
(159, 59, 73)
(159, 73, 63)
(159, 76, 57)
(159, 77, 56)
(16, 202, 220)
(160, 102, 39)
(160, 121, 33)
(160, 195, 25)
(160, 27, 145)
(160, 45, 92)
(160, 50, 81)
(160, 69, 62)
(161, 119, 35)
(161, 149, 28)
(161, 22, 180)
(161, 64, 68)
(161, 73, 60)
(162, 128, 31)
(162, 21, 187)
(162, 64, 68)
(162, 87, 51)
(162, 98, 43)
(163, 112, 38)
(163, 127, 32)
(163, 37, 115)
(163, 78, 55)
(164, 28, 142)
(165, 185, 25)
(165, 21, 179)
(165, 32, 126)
(165, 38, 102)
(165, 43, 91)
(166, 111, 35)
(166, 123, 32)
(166, 140, 30)
(166, 156, 27)
(167, 151, 27)
(168, 148, 29)
(168, 183, 24)
(169, 156, 26)
(169, 92, 47)
(17, 181, 241)
(17, 191, 228)
(17, 196, 206)
(17, 209, 198)
(170, 109, 38)
(170, 139, 30)
(171, 147, 27)
(171, 163, 24)
(171, 20, 187)
(171, 87, 50)
(172, 135, 30)
(173, 157, 25)
(173, 83, 54)
(174, 132, 30)
(174, 33, 125)
(174, 81, 54)
(175, 106, 37)
(175, 118, 34)
(175, 155, 26)
(175, 26, 155)
(175, 33, 115)
(176, 146, 29)
(176, 37, 113)
(177, 25, 156)
(177, 27, 142)
(177, 96, 46)
(178, 155, 25)
(179, 154, 26)
(179, 180, 23)
(179, 24, 148)
(18, 182, 236)
(18, 186, 193)
(18, 204, 189)
(18, 223, 182)
(180, 123, 30)
(180, 142, 29)
(180, 162, 23)
(181, 145, 28)
(181, 28, 139)
(183, 152, 26)
(183, 30, 135)
(183, 68, 66)
(184, 140, 27)
(184, 48, 89)
(184, 96, 45)
(186, 147, 25)
(186, 33, 113)
(186, 91, 48)
(187, 21, 168)
(189, 118, 32)
(189, 138, 29)
(189, 26, 141)
(189, 31, 130)
(19, 171, 217)
(19, 173, 213)
(19, 180, 200)
(19, 181, 184)
(19, 200, 177)
(192, 37, 112)
(194, 30, 133)
(20, 153, 234)
(20, 159, 223)
(20, 160, 194)
(20, 162, 210)
(20, 172, 177)
(20, 200, 169)
(20, 204, 162)
(203, 37, 110)
(206, 26, 138)
(206, 31, 127)
(21, 151, 187)
(21, 169, 180)
(21, 181, 157)
(21, 214, 156)
(214, 23, 158)
(22, 133, 225)
(22, 143, 210)
(22, 145, 206)
(22, 148, 190)
(22, 159, 167)
(22, 173, 160)
(22, 182, 152)
(22, 208, 146)
(23, 134, 203)
(23, 138, 177)
(23, 152, 170)
(23, 165, 162)
(23, 176, 140)
(23, 195, 136)
(24, 125, 197)
(24, 144, 172)
(24, 151, 171)
(24, 153, 166)
(24, 155, 150)
(24, 173, 143)
(24, 183, 134)
(24, 196, 131)
(25, 121, 193)
(25, 135, 186)
(25, 137, 170)
(25, 142, 161)
(25, 152, 153)
(25, 162, 144)
(25, 172, 136)
(25, 180, 124)
(25, 199, 120)
(26, 120, 245)
(26, 124, 190)
(26, 125, 189)
(26, 126, 178)
(26, 129, 171)
(26, 138, 166)
(26, 146, 144)
(26, 154, 143)
(26, 156, 136)
(26, 159, 134)
(26, 177, 127)
(26, 187, 118)
(26, 200, 115)
(27, 119, 207)
(27, 120, 186)
(27, 125, 177)
(27, 131, 164)
(27, 135, 146)
(27, 147, 139)
(27, 153, 138)
(27, 161, 121)
(27, 176, 120)
(27, 186, 115)
(27, 227, 114)
(28, 109, 194)
(28, 112, 187)
(28, 116, 177)
(28, 122, 166)
(28, 128, 164)
(28, 129, 160)
(28, 132, 159)
(28, 133, 155)
(28, 141, 141)
(28, 150, 128)
(28, 158, 127)
(28, 160, 120)
(28, 162, 116)
(28, 168, 115)
(28, 206, 113)
(28, 219, 110)
(28, 228, 109)
(29, 118, 162)
(29, 125, 161)
(29, 130, 155)
(29, 131, 154)
(29, 132, 151)
(29, 134, 139)
(29, 139, 130)
(29, 149, 125)
(29, 151, 123)
(29, 157, 122)
(29, 165, 105)
(29, 190, 99)
(30, 110, 181)
(30, 111, 180)
(30, 113, 178)
(30, 116, 171)
(30, 120, 161)
(30, 121, 159)
(30, 122, 158)
(30, 123, 147)
(30, 126, 140)
(30, 145, 120)
(30, 158, 117)
(30, 164, 107)
(30, 166, 100)
(30, 172, 99)
(30, 99, 193)
(31, 105, 187)
(31, 108, 177)
(31, 114, 170)
(31, 117, 155)
(31, 122, 146)
(31, 132, 137)
(31, 136, 135)
(31, 137, 128)
(31, 138, 123)
(31, 143, 117)
(31, 151, 114)
(31, 153, 109)
(31, 170, 94)
(31, 173, 94)
(31, 218, 93)
(32, 103, 177)
(32, 106, 163)
(32, 109, 156)
(32, 113, 146)
(32, 123, 145)
(32, 125, 133)
(32, 127, 131)
(32, 130, 124)
(32, 144, 113)
(32, 149, 104)
(32, 177, 88)
(32, 95, 192)
(33, 120, 144)
(33, 121, 139)
(33, 128, 123)
(33, 136, 121)
(33, 141, 112)
(33, 142, 108)
(33, 152, 102)
(33, 156, 98)
(33, 172, 89)
(34, 108, 149)
(34, 110, 147)
(34, 113, 140)
(34, 117, 130)
(34, 127, 129)
(34, 129, 117)
(34, 148, 97)
(34, 156, 89)
(34, 181, 86)
(34, 196, 83)
(34, 205, 82)
(34, 96, 162)
(35, 111, 139)
(35, 124, 128)
(35, 125, 124)
(35, 132, 107)
(35, 145, 105)
(35, 155, 91)
(35, 165, 86)
(35, 179, 85)
(35, 188, 84)
(35, 94, 183)
(36, 100, 146)
(36, 112, 133)
(36, 126, 122)
(36, 127, 115)
(36, 131, 113)
(36, 139, 105)
(36, 142, 101)
(36, 146, 95)
(36, 153, 94)
(36, 161, 81)
(36, 206, 75)
(36, 215, 74)
(36, 92, 161)
(37, 107, 138)
(37, 108, 136)
(37, 115, 123)
(37, 126, 118)
(37, 129, 112)
(37, 140, 103)
(37, 153, 89)
(37, 159, 82)
(37, 168, 75)
(37, 199, 74)
(37, 88, 194)
(37, 90, 182)
(38, 110, 131)
(38, 118, 119)
(38, 125, 117)
(38, 128, 114)
(38, 129, 111)
(38, 130, 110)
(38, 135, 104)
(38, 144, 94)
(38, 146, 92)
(38, 151, 89)
(38, 154, 84)
(38, 166, 80)
(38, 186, 70)
(38, 195, 69)
(38, 89, 190)
(38, 96, 145)
(39, 105, 141)
(39, 108, 128)
(39, 111, 122)
(39, 130, 102)
(39, 131, 101)
(39, 133, 96)
(39, 153, 86)
(39, 179, 72)
(39, 193, 64)
(39, 202, 63)
(39, 86, 192)
(39, 88, 186)
(39, 90, 174)
(39, 91, 152)
(40, 101, 139)
(40, 105, 137)
(40, 118, 116)
(40, 123, 107)
(40, 144, 90)
(40, 147, 89)
(40, 150, 83)
(40, 159, 76)
(40, 174, 74)
(40, 175, 69)
(40, 87, 167)
(41, 105, 133)
(41, 106, 131)
(41, 109, 125)
(41, 113, 118)
(41, 114, 117)
(41, 128, 106)
(41, 138, 92)
(41, 142, 89)
(41, 157, 77)
(41, 166, 70)
(41, 181, 68)
(41, 182, 67)
(41, 191, 66)
(41, 82, 194)
(41, 84, 199)
(41, 86, 184)
(41, 87, 151)
(41, 91, 144)
(42, 101, 132)
(42, 119, 112)
(42, 127, 106)
(42, 137, 93)
(42, 147, 88)
(42, 152, 80)
(42, 85, 182)
(42, 86, 167)
(42, 97, 138)
(42, 99, 136)
(43, 104, 131)
(43, 106, 123)
(43, 109, 117)
(43, 117, 112)
(43, 121, 108)
(43, 126, 102)
(43, 130, 98)
(43, 131, 91)
(43, 144, 87)
(43, 152, 79)
(43, 159, 74)
(43, 179, 67)
(43, 181, 66)
(43, 182, 64)
(43, 191, 63)
(43, 79, 179)
(43, 87, 143)
(44, 116, 116)
(44, 119, 105)
(44, 121, 102)
(44, 141, 87)
(44, 148, 78)
(44, 169, 68)
(44, 173, 64)
(44, 186, 61)
(44, 188, 60)
(44, 209, 60)
(44, 83, 172)
(44, 86, 159)
(44, 96, 141)
(44, 99, 128)
(45, 107, 120)
(45, 109, 116)
(45, 112, 112)
(45, 117, 107)
(45, 128, 100)
(45, 136, 87)
(45, 139, 81)
(45, 153, 76)
(45, 157, 71)
(45, 164, 70)
(45, 170, 67)
(45, 182, 63)
(45, 75, 178)
(45, 79, 171)
(45, 89, 139)
(45, 96, 135)
(46, 100, 126)
(46, 115, 110)
(46, 116, 108)
(46, 124, 101)
(46, 128, 98)
(46, 129, 92)
(46, 134, 90)
(46, 135, 88)
(46, 150, 75)
(46, 155, 72)
(46, 160, 70)
(46, 82, 164)
(46, 93, 137)
(46, 97, 131)
(47, 105, 120)
(47, 107, 112)
(47, 114, 108)
(47, 119, 103)
(47, 124, 97)
(47, 127, 94)
(47, 128, 93)
(47, 130, 89)
(47, 147, 79)
(47, 148, 74)
(47, 157, 69)
(47, 167, 68)
(47, 176, 63)
(47, 179, 61)
(47, 194, 59)
(47, 75, 170)
(47, 78, 167)
(47, 83, 146)
(47, 88, 141)
(47, 92, 134)
(47, 93, 130)
(47, 97, 129)
(48, 104, 122)
(48, 106, 107)
(48, 117, 105)
(48, 118, 104)
(48, 127, 91)
(48, 128, 90)
(48, 143, 78)
(48, 156, 71)
(48, 166, 66)
(48, 167, 63)
(48, 173, 60)
(48, 186, 55)
(48, 201, 53)
(48, 73, 206)
(48, 78, 163)
(48, 82, 149)
(48, 90, 128)
(48, 97, 123)
(49, 103, 118)
(49, 115, 102)
(49, 118, 97)
(49, 125, 96)
(49, 133, 87)
(49, 134, 83)
(49, 137, 76)
(49, 151, 71)
(49, 155, 66)
(49, 165, 65)
(49, 168, 62)
(49, 181, 59)
(49, 73, 187)
(49, 77, 162)
(49, 78, 159)
(49, 88, 133)
(49, 96, 125)
(49, 98, 121)
(50, 104, 107)
(50, 112, 105)
(50, 114, 103)
(50, 125, 90)
(50, 127, 87)
(50, 130, 86)
(50, 132, 85)
(50, 133, 82)
(50, 151, 70)
(50, 153, 67)
(50, 158, 65)
(50, 179, 59)
(50, 70, 191)
(50, 94, 115)
(51, 100, 102)
(51, 114, 101)
(51, 118, 94)
(51, 123, 93)
(51, 125, 89)
(51, 128, 84)
(51, 142, 73)
(51, 146, 69)
(51, 165, 63)
(51, 181, 57)
(51, 69, 186)
(51, 71, 179)
(51, 72, 173)
(51, 74, 167)
(51, 75, 162)
(51, 77, 154)
(51, 81, 122)
(52, 105, 101)
(52, 109, 100)
(52, 116, 98)
(52, 117, 89)
(52, 126, 85)
(52, 141, 73)
(52, 154, 66)
(52, 164, 61)
(52, 177, 56)
(52, 190, 53)
(52, 66, 190)
(52, 74, 166)
(52, 79, 137)
(52, 90, 120)
(52, 97, 110)
(52, 98, 109)
(53, 103, 101)
(53, 112, 98)
(53, 113, 97)
(53, 116, 92)
(53, 131, 82)
(53, 133, 79)
(53, 138, 73)
(53, 166, 57)
(53, 185, 54)
(53, 198, 51)
(53, 208, 50)
(53, 69, 178)
(53, 72, 165)
(53, 74, 159)
(53, 84, 117)
(53, 92, 116)
(54, 108, 96)
(54, 112, 92)
(54, 120, 88)
(54, 125, 86)
(54, 128, 82)
(54, 131, 76)
(54, 149, 66)
(54, 155, 64)
(54, 162, 63)
(54, 177, 54)
(54, 190, 52)
(54, 70, 164)
(54, 72, 163)
(54, 76, 142)
(54, 93, 115)
(54, 96, 113)
(54, 99, 106)
(55, 110, 95)
(55, 111, 93)
(55, 121, 86)
(55, 124, 82)
(55, 128, 81)
(55, 136, 75)
(55, 140, 68)
(55, 153, 64)
(55, 157, 60)
(55, 68, 172)
(55, 80, 119)
(55, 86, 113)
(55, 98, 97)
(56, 107, 95)
(56, 108, 93)
(56, 110, 92)
(56, 115, 84)
(56, 120, 81)
(56, 145, 67)
(56, 148, 65)
(56, 149, 64)
(56, 156, 62)
(56, 163, 58)
(56, 175, 51)
(56, 63, 189)
(56, 64, 199)
(56, 66, 182)
(56, 69, 167)
(56, 70, 156)
(56, 72, 142)
(56, 78, 134)
(56, 86, 111)
(56, 94, 110)
(56, 97, 106)
(57, 101, 96)
(57, 106, 87)
(57, 124, 80)
(57, 127, 75)
(57, 135, 73)
(57, 136, 71)
(57, 170, 56)
(57, 171, 55)
(57, 183, 49)
(57, 210, 48)
(57, 65, 187)
(57, 87, 107)
(57, 97, 105)
(58, 103, 95)
(58, 118, 83)
(58, 123, 80)
(58, 129, 71)
(58, 147, 61)
(58, 160, 57)
(58, 166, 54)
(58, 205, 48)
(58, 60, 198)
(58, 63, 181)
(58, 65, 179)
(58, 66, 169)
(58, 68, 165)
(58, 69, 158)
(58, 75, 136)
(58, 96, 105)
(59, 102, 92)
(59, 109, 86)
(59, 119, 82)
(59, 122, 77)
(59, 143, 65)
(59, 151, 59)
(59, 174, 52)
(59, 62, 162)
(59, 68, 140)
(59, 78, 114)
(59, 85, 110)
(59, 90, 102)
(60, 105, 91)
(60, 115, 82)
(60, 118, 76)
(60, 134, 68)
(60, 138, 64)
(60, 158, 58)
(60, 161, 53)
(60, 172, 52)
(60, 66, 161)
(60, 71, 138)
(60, 76, 129)
(60, 95, 101)
(61, 104, 82)
(61, 117, 78)
(61, 122, 75)
(61, 125, 70)
(61, 133, 68)
(61, 146, 61)
(61, 156, 56)
(61, 195, 46)
(61, 61, 176)
(61, 62, 154)
(61, 68, 138)
(61, 71, 135)
(61, 72, 132)
(61, 74, 125)
(61, 86, 104)
(61, 92, 98)
(61, 95, 97)
(62, 100, 95)
(62, 113, 80)
(62, 121, 75)
(62, 130, 68)
(62, 148, 60)
(62, 152, 56)
(62, 158, 52)
(62, 217, 45)
(62, 59, 190)
(62, 66, 151)
(62, 84, 108)
(62, 92, 96)
(63, 100, 87)
(63, 107, 81)
(63, 116, 78)
(63, 143, 62)
(63, 147, 59)
(63, 168, 51)
(63, 192, 48)
(63, 193, 47)
(63, 206, 44)
(63, 54, 201)
(63, 60, 185)
(63, 65, 149)
(63, 67, 137)
(63, 71, 133)
(63, 74, 120)
(63, 82, 112)
(63, 83, 105)
(63, 90, 97)
(63, 95, 93)
(63, 97, 92)
(64, 113, 77)
(64, 132, 63)
(64, 145, 59)
(64, 149, 55)
(64, 57, 196)
(64, 58, 187)
(64, 59, 165)
(64, 69, 134)
(64, 77, 104)
(64, 87, 103)
(64, 88, 101)
(65, 102, 85)
(65, 107, 79)
(65, 112, 76)
(65, 115, 73)
(65, 116, 71)
(65, 137, 62)
(65, 140, 60)
(65, 181, 48)
(65, 58, 163)
(65, 64, 145)
(65, 65, 141)
(65, 67, 135)
(65, 68, 133)
(65, 69, 132)
(65, 71, 129)
(65, 75, 119)
(65, 84, 99)
(65, 91, 95)
(65, 93, 92)
(65, 95, 91)
(65, 98, 89)
(66, 103, 80)
(66, 119, 70)
(66, 125, 69)
(66, 146, 55)
(66, 157, 54)
(66, 183, 45)
(66, 211, 44)
(66, 53, 174)
(66, 59, 158)
(66, 61, 155)
(66, 63, 152)
(66, 68, 128)
(66, 74, 110)
(66, 80, 99)
(66, 88, 98)
(66, 93, 90)
(66, 98, 82)
(67, 108, 78)
(67, 126, 68)
(67, 129, 66)
(67, 138, 61)
(67, 141, 58)
(67, 171, 50)
(67, 180, 48)
(67, 191, 42)
(67, 55, 164)
(67, 65, 132)
(67, 72, 125)
(67, 89, 97)
(67, 91, 94)
(68, 101, 81)
(68, 105, 78)
(68, 112, 74)
(68, 114, 72)
(68, 124, 67)
(68, 125, 66)
(68, 131, 65)
(68, 143, 54)
(68, 174, 48)
(68, 213, 41)
(68, 60, 157)
(68, 61, 149)
(68, 62, 143)
(68, 68, 121)
(68, 76, 101)
(68, 90, 93)
(68, 96, 89)
(69, 107, 76)
(69, 110, 71)
(69, 114, 66)
(69, 124, 65)
(69, 127, 62)
(69, 131, 61)
(69, 137, 58)
(69, 182, 45)
(69, 55, 154)
(69, 61, 138)
(69, 65, 130)
(69, 67, 125)
(69, 73, 120)
(69, 87, 98)
(69, 89, 90)
(69, 93, 86)
(69, 96, 84)
(69, 99, 78)
(70, 109, 73)
(70, 117, 65)
(70, 123, 64)
(70, 134, 60)
(70, 50, 179)
(70, 52, 175)
(70, 59, 131)
(70, 68, 119)
(70, 73, 107)
(70, 84, 98)
(70, 85, 95)
(70, 87, 92)
(70, 91, 85)
(70, 96, 77)
(71, 105, 75)
(71, 113, 70)
(71, 124, 63)
(71, 132, 60)
(71, 140, 57)
(71, 157, 52)
(71, 166, 50)
(71, 52, 172)
(71, 57, 146)
(71, 67, 120)
(71, 69, 114)
(71, 79, 99)
(71, 83, 97)
(71, 86, 93)
(72, 103, 75)
(72, 108, 73)
(72, 110, 69)
(72, 123, 61)
(72, 136, 56)
(72, 160, 51)
(72, 168, 47)
(72, 207, 40)
(72, 51, 178)
(72, 64, 128)
(72, 70, 104)
(72, 74, 96)
(72, 89, 87)
(72, 94, 84)
(72, 99, 76)
(73, 105, 72)
(73, 125, 57)
(73, 142, 55)
(73, 148, 53)
(73, 154, 50)
(73, 176, 44)
(73, 52, 159)
(73, 63, 130)
(73, 65, 125)
(73, 69, 111)
(73, 81, 95)
(73, 86, 92)
(73, 88, 87)
(73, 93, 84)
(73, 94, 83)
(73, 97, 73)
(74, 106, 71)
(74, 107, 68)
(74, 108, 66)
(74, 144, 53)
(74, 48, 174)
(74, 54, 155)
(74, 55, 150)
(74, 58, 144)
(74, 61, 128)
(74, 67, 116)
(74, 71, 102)
(74, 73, 99)
(74, 83, 94)
(74, 85, 87)
(74, 90, 84)
(74, 92, 82)
(74, 95, 80)
(75, 114, 65)
(75, 117, 64)
(75, 203, 41)
(75, 50, 151)
(75, 64, 126)
(75, 84, 88)
(76, 101, 70)
(76, 111, 65)
(76, 115, 62)
(76, 122, 58)
(76, 134, 51)
(76, 161, 47)
(76, 55, 142)
(76, 58, 136)
(76, 61, 126)
(76, 64, 123)
(76, 65, 120)
(76, 67, 113)
(76, 69, 101)
(76, 81, 94)
(76, 82, 91)
(76, 88, 84)
(76, 90, 82)
(77, 105, 69)
(77, 109, 65)
(77, 117, 60)
(77, 129, 56)
(77, 142, 49)
(77, 169, 45)
(77, 57, 138)
(77, 58, 130)
(77, 65, 116)
(77, 79, 94)
(77, 82, 88)
(77, 92, 78)
(78, 106, 61)
(78, 119, 57)
(78, 123, 56)
(78, 129, 53)
(78, 52, 131)
(78, 60, 125)
(78, 64, 121)
(78, 65, 111)
(78, 67, 108)
(78, 76, 93)
(78, 81, 89)
(78, 83, 85)
(78, 88, 79)
(78, 91, 73)
(79, 100, 71)
(79, 115, 59)
(79, 126, 55)
(79, 160, 48)
(79, 47, 172)
(79, 66, 109)
(79, 70, 92)
(79, 80, 91)
(79, 85, 83)
(80, 109, 60)
(80, 117, 58)
(80, 120, 53)
(80, 131, 52)
(80, 158, 48)
(80, 189, 43)
(80, 47, 179)
(80, 49, 149)
(80, 57, 128)
(80, 60, 123)
(80, 61, 121)
(80, 62, 120)
(80, 64, 117)
(80, 67, 96)
(80, 79, 90)
(80, 80, 88)
(80, 86, 80)
(80, 88, 77)
(81, 103, 64)
(81, 115, 56)
(81, 154, 46)
(81, 181, 42)
(81, 202, 41)
(81, 56, 130)
(81, 61, 116)
(81, 62, 111)
(81, 73, 87)
(81, 82, 83)
(81, 90, 73)
(81, 95, 70)
(81, 96, 68)
(82, 117, 52)
(82, 144, 48)
(82, 168, 44)
(82, 191, 40)
(82, 205, 39)
(82, 48, 152)
(82, 58, 120)
(82, 84, 82)
(82, 89, 68)
(83, 152, 47)
(83, 162, 43)
(83, 187, 41)
(83, 46, 187)
(83, 51, 144)
(83, 64, 101)
(83, 69, 89)
(83, 98, 66)
(84, 101, 65)
(84, 46, 156)
(84, 50, 142)
(84, 56, 128)
(84, 56, 129)
(84, 57, 125)
(84, 58, 118)
(84, 79, 84)
(84, 85, 79)
(85, 140, 48)
(85, 177, 42)
(85, 45, 163)
(85, 50, 138)
(85, 52, 119)
(85, 61, 111)
(85, 78, 83)
(85, 93, 65)
(86, 101, 60)
(86, 110, 59)
(86, 132, 51)
(86, 142, 45)
(86, 169, 41)
(86, 185, 39)
(86, 44, 195)
(86, 45, 160)
(86, 47, 154)
(86, 48, 150)
(86, 50, 134)
(86, 59, 110)
(86, 62, 102)
(86, 66, 97)
(86, 82, 79)
(86, 87, 78)
(86, 97, 64)
(87, 150, 42)
(87, 177, 38)
(87, 198, 37)
(87, 57, 116)
(87, 63, 98)
(87, 67, 84)
(87, 86, 78)
(87, 87, 76)
(88, 109, 59)
(88, 111, 58)
(88, 113, 57)
(88, 123, 51)
(88, 129, 50)
(88, 44, 151)
(88, 48, 143)
(88, 50, 133)
(88, 56, 118)
(88, 58, 113)
(88, 62, 99)
(88, 74, 83)
(88, 77, 80)
(88, 83, 74)
(89, 136, 49)
(89, 168, 41)
(89, 46, 128)
(89, 82, 77)
(90, 110, 58)
(90, 56, 111)
(90, 60, 106)
(90, 82, 74)
(90, 95, 59)
(91, 112, 54)
(91, 192, 36)
(91, 41, 166)
(91, 51, 124)
(91, 61, 93)
(91, 75, 79)
(91, 79, 78)
(91, 84, 73)
(91, 87, 71)
(92, 107, 56)
(92, 131, 48)
(92, 148, 44)
(92, 167, 41)
(92, 43, 160)
(92, 50, 126)
(92, 56, 108)
(92, 81, 75)
(93, 156, 41)
(93, 162, 40)
(93, 45, 137)
(93, 59, 107)
(93, 80, 72)
(94, 111, 55)
(94, 40, 160)
(94, 43, 156)
(94, 44, 146)
(94, 51, 122)
(94, 94, 64)
(95, 105, 54)
(95, 128, 49)
(95, 137, 47)
(95, 189, 37)
(95, 42, 137)
(95, 45, 133)
(95, 50, 125)
(95, 60, 102)
(96, 116, 52)
(96, 118, 50)
(96, 137, 46)
(96, 145, 44)
(96, 38, 168)
(96, 44, 135)
(96, 55, 117)
(96, 88, 70)
(96, 89, 65)
(97, 101, 58)
(97, 137, 45)
(97, 44, 132)
(97, 55, 116)
(97, 57, 102)
(97, 72, 83)
(98, 49, 125)
(98, 52, 117)
(98, 54, 115)
(98, 78, 77)
(98, 92, 59)
(99, 217, 34)
(99, 55, 114)
(99, 59, 97)
(99, 74, 78)
: 40 rows, 400 columns, 800 nonzeros
Academic license - for non-commercial use only - expires 2022-01-15
Non-dominated vectors found: 1529
Read LP format model from file ../tests/examples/3AP-20-5.lp
Reading time = 0.00 seconds
Set parameter Username
Solver calls: 2526
